[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 142 173 180 258 0 132 151 134

N.S.

1 1.00 0.97 1.18 1.22 1.76 0.00 0.90 1.03 0.91

time (sec)

N/A 0.054 0.223 0.046 1.341 0.419 0.000 0.632 0.735 0.527

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

121 121 119 91 130 69 0 1 100 92

N.S.

1 1.00 0.98 0.75 1.07 0.57 0.00 0.01 0.83 0.76

time (sec)

N/A 0.031 0.095 0.118 3.001 0.412 0.000 0.573 0.292 0.411

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

95 95 88 71 103 59 0 1 80 80

N.S.

1 1.00 0.93 0.75 1.08 0.62 0.00 0.01 0.84 0.84

time (sec)

N/A 0.022 0.079 0.093 3.012 0.417 0.000 0.460 0.298 0.271

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

69 69 76 51 76 49 0 1 60 68

N.S.

1 1.00 1.10 0.74 1.10 0.71 0.00 0.01 0.87 0.99

time (sec)

N/A 0.015 0.064 0.118 2.985 0.411 0.000 0.610 0.162 0.177

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 64 31 49 39 0 1 39 56

N.S.

1 1.00 1.49 0.72 1.14 0.91 0.00 0.02 0.91 1.30

time (sec)

N/A 0.010 0.049 0.105 2.963 0.408 0.000 0.625 0.087 0.103

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 88 82 117 68 0 57 81 78

N.S.

1 1.00 0.87 0.81 1.16 0.67 0.00 0.56 0.80 0.77

time (sec)

N/A 0.028 0.067 0.044 3.058 0.399 0.000 0.471 0.166 0.306

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

79 79 78 64 90 58 0 47 63 68

N.S.

1 1.00 0.99 0.81 1.14 0.73 0.00 0.59 0.80 0.86

time (sec)

N/A 0.019 0.047 0.046 2.944 0.390 0.000 0.454 0.242 0.221

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

57 57 68 46 63 48 0 37 45 58

N.S.

1 1.00 1.19 0.81 1.11 0.84 0.00 0.65 0.79 1.02

time (sec)

N/A 0.013 0.046 0.048 2.898 0.407 0.000 0.523 0.112 0.150

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 58 28 36 38 0 27 26 48

N.S.

1 1.00 1.66 0.80 1.03 1.09 0.00 0.77 0.74 1.37

time (sec)

N/A 0.009 0.032 0.051 2.885 0.417 0.000 0.477 0.052 0.095

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 32 28 36 35 0 25 26 41

N.S.

1 1.00 0.91 0.80 1.03 1.00 0.00 0.71 0.74 1.17

time (sec)

N/A 0.010 0.039 0.047 2.974 0.403 0.000 0.361 0.048 0.105

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 58 28 36 38 0 27 26 48

N.S.

1 1.00 1.66 0.80 1.03 1.09 0.00 0.77 0.74 1.37

time (sec)

N/A 0.010 0.034 0.045 2.926 0.409 0.000 0.435 0.054 0.106

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 44 42 55 43 0 35 39 51

N.S.

1 1.00 0.86 0.82 1.08 0.84 0.00 0.69 0.76 1.00

time (sec)

N/A 0.010 0.063 0.043 2.888 0.403 0.000 0.543 0.194 0.147

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 40 33 41 32 0 33 29 37

N.S.

1 1.00 1.14 0.94 1.17 0.91 0.00 0.94 0.83 1.06

time (sec)

N/A 0.007 0.027 0.046 1.418 0.411 0.000 0.520 0.199 0.103

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

37 37 48 33 43 32 0 33 29 39

N.S.

1 1.00 1.30 0.89 1.16 0.86 0.00 0.89 0.78 1.05

time (sec)

N/A 0.007 0.036 0.045 1.314 0.380 0.000 0.517 0.109 0.093

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

39 39 46 33 43 36 0 37 29 43

N.S.

1 1.00 1.18 0.85 1.10 0.92 0.00 0.95 0.74 1.10

time (sec)

N/A 0.007 0.026 0.048 1.349 0.398 0.000 0.415 0.195 0.094

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 70 75 111 105 0 74 96 82

N.S.

1 1.00 0.84 0.90 1.34 1.27 0.00 0.89 1.16 0.99

time (sec)

N/A 0.018 0.021 0.048 1.343 0.390 0.000 0.492 0.271 0.381

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A B B F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 53 10 21 19 0 0 19 29

N.S.

1 1.00 3.31 0.62 1.31 1.19 0.00 0.00 1.19 1.81

time (sec)

N/A 0.006 0.012 0.105 2.932 0.413 0.000 0.000 0.276 0.103

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

26 26 24 21 28 39 0 0 20 38

N.S.

1 1.00 0.92 0.81 1.08 1.50 0.00 0.00 0.77 1.46

time (sec)

N/A 0.003 0.005 0.102 1.372 0.418 0.000 0.000 0.045 0.165

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 36 42 55 62 0 0 31 50

N.S.

1 1.00 0.68 0.79 1.04 1.17 0.00 0.00 0.58 0.94

time (sec)

N/A 0.007 0.010 0.099 1.368 0.410 0.000 0.000 0.124 0.222

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

79 79 48 62 82 82 0 0 40 62

N.S.

1 1.00 0.61 0.78 1.04 1.04 0.00 0.00 0.51 0.78

time (sec)

N/A 0.012 0.012 0.101 1.370 0.415 0.000 0.000 0.286 0.308

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A A B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

12 12 40 9 8 19 0 8 8 23

N.S.

1 1.00 3.33 0.75 0.67 1.58 0.00 0.67 0.67 1.92

time (sec)

N/A 0.006 0.012 0.043 2.953 0.393 0.000 0.498 0.106 0.096

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

22 22 21 25 28 29 0 29 18 32

N.S.

1 1.00 0.95 1.14 1.27 1.32 0.00 1.32 0.82 1.45

time (sec)

N/A 0.002 0.005 0.051 1.344 0.388 0.000 0.507 0.136 0.147

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 31 35 55 46 0 39 28 42

N.S.

1 1.00 0.69 0.78 1.22 1.02 0.00 0.87 0.62 0.93

time (sec)

N/A 0.006 0.009 0.044 1.363 0.406 0.000 0.408 0.032 0.181

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

67 67 51 45 82 61 0 49 73 52

N.S.

1 1.00 0.76 0.67 1.22 0.91 0.00 0.73 1.09 0.78

time (sec)

N/A 0.012 0.013 0.047 1.366 0.396 0.000 0.504 0.195 0.235

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B A B F A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

12 12 47 35 21 27 0 15 42 97

N.S.

1 1.00 3.92 2.92 1.75 2.25 0.00 1.25 3.50 8.08

time (sec)

N/A 0.008 0.013 0.072 2.916 0.407 0.000 0.520 0.312 0.183

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 24 45 37 29 27 0 36 36 117

N.S.

1 1.00 1.88 1.54 1.21 1.12 0.00 1.50 1.50 4.88

time (sec)

N/A 0.008 0.017 0.052 1.375 0.383 0.000 0.546 0.226 0.251

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

10 10 14 7 8 18 0 6 6 20

N.S.

1 1.00 1.40 0.70 0.80 1.80 0.00 0.60 0.60 2.00

time (sec)

N/A 0.006 0.008 0.046 3.034 0.416 0.000 0.392 0.109 0.092

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 33 14 17 17 0 18 11 19

N.S.

1 1.00 2.06 0.88 1.06 1.06 0.00 1.12 0.69 1.19

time (sec)

N/A 0.004 0.006 0.041 1.311 0.395 0.000 0.540 0.511 0.081

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 33 14 17 17 0 18 11 19

N.S.

1 1.00 2.06 0.88 1.06 1.06 0.00 1.12 0.69 1.19

time (sec)

N/A 0.004 0.012 0.051 1.327 0.385 0.000 0.539 0.529 0.080

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 51 44 43 43 49 43 43 0

N.S.

1 1.00 1.00 0.86 0.84 0.84 0.96 0.84 0.84 0.00

time (sec)

N/A 0.017 0.002 0.041 1.313 0.352 0.070 0.389 0.026 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 35 32 31 31 32 31 31 0

N.S.

1 1.00 1.00 0.91 0.89 0.89 0.91 0.89 0.89 0.00

time (sec)

N/A 0.011 0.002 0.040 1.348 0.352 0.070 0.529 0.039 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 22 21 21 22 21 21 0

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.88 0.84 0.84 0.00

time (sec)

N/A 0.007 0.001 0.038 1.364 0.353 0.063 0.432 0.029 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

12 12 12 11 10 10 8 10 10 0

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 0.83 0.00

time (sec)

N/A 0.002 0.000 0.042 1.293 0.359 0.062 0.352 0.017 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 24 24 16 15 67 53 15 16 0

N.S.

1 1.00 1.00 0.67 0.62 2.79 2.21 0.62 0.67 0.00

time (sec)

N/A 0.005 0.009 0.040 2.902 0.406 0.141 0.395 0.066 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 45 36 35 120 78 35 33 0

N.S.

1 1.00 1.00 0.80 0.78 2.67 1.73 0.78 0.73 0.00

time (sec)

N/A 0.010 0.024 0.047 3.112 0.416 0.223 0.417 0.143 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 55 51 58 188 105 45 55 0

N.S.

1 1.00 0.89 0.82 0.94 3.03 1.69 0.73 0.89 0.00

time (sec)

N/A 0.016 0.033 0.049 2.987 0.393 0.339 0.339 0.162 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

84 84 76 66 58 146 97 63 37 71

N.S.

1 1.00 0.90 0.79 0.69 1.74 1.15 0.75 0.44 0.85

time (sec)

N/A 0.022 0.108 0.044 1.380 0.432 4.426 0.359 0.204 0.092

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

65 65 65 51 43 124 70 49 37 60

N.S.

1 1.00 1.00 0.78 0.66 1.91 1.08 0.75 0.57 0.92

time (sec)

N/A 0.014 0.080 0.044 1.303 0.409 3.008 0.427 0.157 0.067

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 49 36 28 94 41 37 35 48

N.S.

1 1.00 1.07 0.78 0.61 2.04 0.89 0.80 0.76 1.04

time (sec)

N/A 0.009 0.019 0.043 1.357 0.424 1.907 0.399 0.127 0.042

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 21 13 59 17 23 20 28

N.S.

1 1.00 1.00 0.84 0.52 2.36 0.68 0.92 0.80 1.12

time (sec)

N/A 0.005 0.006 0.042 1.390 0.408 1.051 0.406 0.187 0.025

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 16 15 14 23 17 14 14 16

N.S.

1 1.00 1.00 0.94 0.88 1.44 1.06 0.88 0.88 1.00

time (sec)

N/A 0.002 0.004 0.044 1.253 0.400 0.647 0.476 0.032 0.040

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 29 26 31 47 95 27 28 29

N.S.

1 1.00 0.74 0.67 0.79 1.21 2.44 0.69 0.72 0.74

time (sec)

N/A 0.006 0.008 0.045 1.020 0.386 0.862 0.511 0.192 0.060

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

58 58 40 37 46 69 413 41 44 40

N.S.

1 1.00 0.69 0.64 0.79 1.19 7.12 0.71 0.76 0.69

time (sec)

N/A 0.010 0.010 0.043 1.313 0.402 1.461 0.456 0.193 0.076

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 51 48 61 91 1265 55 61 51

N.S.

1 1.00 0.66 0.62 0.79 1.18 16.43 0.71 0.79 0.66

time (sec)

N/A 0.016 0.013 0.046 1.350 0.413 2.203 0.410 0.205 0.088

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 20 35 30 19 0 45 19 0

N.S.

1 1.00 0.87 1.52 1.30 0.83 0.00 1.96 0.83 0.00

time (sec)

N/A 0.003 0.037 0.046 2.957 0.389 0.000 0.393 0.049 0.141

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 25 25 30 9 0 26 19 0

N.S.

1 1.00 1.09 1.09 1.30 0.39 0.00 1.13 0.83 0.00

time (sec)

N/A 0.003 0.005 0.044 2.858 0.369 0.000 0.377 0.046 0.085

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 26 23 6 8 0 25 14 24

N.S.

1 1.00 0.90 0.79 0.21 0.28 0.00 0.86 0.48 0.83

time (sec)

N/A 0.005 0.005 0.048 2.830 0.387 0.000 0.286 0.283 0.078

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 20 17 9 14 0 0 21 27

N.S.

1 1.00 0.80 0.68 0.36 0.56 0.00 0.00 0.84 1.08

time (sec)

N/A 0.003 0.005 0.046 2.892 0.390 0.000 0.000 0.170 0.175

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 25 25 30 9 8 26 13 0

N.S.

1 1.00 1.09 1.09 1.30 0.39 0.35 1.13 0.57 0.00

time (sec)

N/A 0.003 0.009 0.045 3.010 0.382 0.075 0.346 0.113 0.081

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 26 23 6 8 7 15 14 24

N.S.

1 1.00 0.90 0.79 0.21 0.28 0.24 0.52 0.48 0.83

time (sec)

N/A 0.005 0.008 0.050 2.969 0.385 0.078 0.456 0.353 0.075

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 27 27 30 9 0 26 18 0

N.S.

1 1.00 1.17 1.17 1.30 0.39 0.00 1.13 0.78 0.00

time (sec)

N/A 0.003 0.007 0.047 3.015 0.383 0.000 0.375 0.327 0.084

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A C C F C B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 28 25 6 6 0 23 15 30

N.S.

1 1.00 0.97 0.86 0.21 0.21 0.00 0.79 0.52 1.03

time (sec)

N/A 0.005 0.006 0.049 2.898 0.385 0.000 0.447 0.245 0.086

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A C F C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 27 27 30 9 0 26 18 0

N.S.

1 1.00 1.17 1.17 1.30 0.39 0.00 1.13 0.78 0.00

time (sec)

N/A 0.003 0.006 0.045 2.962 0.399 0.000 0.407 0.067 0.089

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A C C F C B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 28 25 6 6 0 23 15 30

N.S.

1 1.00 0.97 0.86 0.21 0.21 0.00 0.79 0.52 1.03

time (sec)

N/A 0.006 0.004 0.049 2.777 0.379 0.000 0.345 0.295 0.084

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 207 636 234 233 253 334 184 0

N.S.

1 1.00 1.90 5.83 2.15 2.14 2.32 3.06 1.69 0.00

time (sec)

N/A 0.140 0.030 0.039 1.413 0.382 0.194 0.429 0.314 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 207 636 234 235 250 334 184 0

N.S.

1 1.00 1.90 5.83 2.15 2.16 2.29 3.06 1.69 0.00

time (sec)

N/A 0.137 0.041 0.045 1.521 0.395 0.199 0.412 0.331 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 199 636 234 227 253 334 176 0

N.S.

1 1.00 1.83 5.83 2.15 2.08 2.32 3.06 1.61 0.00

time (sec)

N/A 0.142 0.028 0.039 1.409 0.392 0.202 0.450 0.337 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 207 636 234 235 248 334 184 0

N.S.

1 1.00 1.90 5.83 2.15 2.16 2.28 3.06 1.69 0.00

time (sec)

N/A 0.140 0.042 0.040 1.400 0.394 0.196 0.526 0.316 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 18 17 16 16 22 16 16 0

N.S.

1 1.00 1.00 0.94 0.89 0.89 1.22 0.89 0.89 0.00

time (sec)

N/A 0.011 0.009 0.042 2.955 0.389 0.114 0.369 0.139 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

12 12 12 9 8 8 7 8 8 0

N.S.

1 1.00 1.00 0.75 0.67 0.67 0.58 0.67 0.67 0.00

time (sec)

N/A 0.009 0.013 0.099 2.975 0.403 0.164 0.410 0.272 0.001

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

19 19 34 17 27 39 39 31 15 0

N.S.

1 1.00 1.79 0.89 1.42 2.05 2.05 1.63 0.79 0.00

time (sec)

N/A 0.019 0.019 0.043 2.953 0.375 0.119 0.458 0.209 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

13 13 13 14 13 13 10 15 8 0

N.S.

1 1.00 1.00 1.08 1.00 1.00 0.77 1.15 0.62 0.00

time (sec)

N/A 0.005 0.003 0.049 1.327 0.391 0.103 0.507 0.082 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

21 21 21 16 15 15 14 17 8 0

N.S.

1 1.00 1.00 0.76 0.71 0.71 0.67 0.81 0.38 0.00

time (sec)

N/A 0.006 0.003 0.050 1.314 0.399 0.113 0.464 0.091 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A B B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

6 17 17 14 13 13 12 15 6 0

N.S.

1 2.83 2.83 2.33 2.17 2.17 2.00 2.50 1.00 0.00

time (sec)

N/A 0.004 0.003 0.048 1.288 0.396 0.104 0.330 0.176 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

27 27 27 24 38 50 76 40 23 0

N.S.

1 1.00 1.00 0.89 1.41 1.85 2.81 1.48 0.85 0.00

time (sec)

N/A 0.019 0.008 0.056 1.314 0.423 0.223 0.346 0.359 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

27 27 29 26 39 51 76 45 23 0

N.S.

1 1.00 1.07 0.96 1.44 1.89 2.81 1.67 0.85 0.00

time (sec)

N/A 0.019 0.008 0.050 1.326 0.418 0.233 0.383 0.386 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

31 31 31 28 27 41 87 27 23 0

N.S.

1 1.00 1.00 0.90 0.87 1.32 2.81 0.87 0.74 0.00

time (sec)

N/A 0.020 0.008 0.049 1.317 0.411 0.196 0.482 0.381 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

27 27 29 26 39 51 76 45 23 0

N.S.

1 1.00 1.07 0.96 1.44 1.89 2.81 1.67 0.85 0.00

time (sec)

N/A 0.018 0.007 0.051 1.441 0.399 0.234 0.532 0.418 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

38 38 38 35 0 113 124 34 46 0

N.S.

1 1.00 1.00 0.92 0.00 2.97 3.26 0.89 1.21 0.00

time (sec)

N/A 0.034 0.010 0.062 0.000 0.404 0.221 0.432 0.229 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 34 35 0 124 100 30 33 0

N.S.

1 1.00 0.97 1.00 0.00 3.54 2.86 0.86 0.94 0.00

time (sec)

N/A 0.027 0.009 0.064 0.000 0.407 0.232 0.365 0.273 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

32 32 41 31 49 67 102 55 28 0

N.S.

1 1.00 1.28 0.97 1.53 2.09 3.19 1.72 0.88 0.00

time (sec)

N/A 0.025 0.010 0.072 2.910 0.392 0.255 0.445 0.227 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 43 37 36 45 39 36 33 0

N.S.

1 1.00 1.00 0.86 0.84 1.05 0.91 0.84 0.77 0.00

time (sec)

N/A 0.015 0.022 0.037 2.274 0.391 0.150 0.580 0.038 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 62 37 47 68 58 51 34 0

N.S.

1 1.00 1.44 0.86 1.09 1.58 1.35 1.19 0.79 0.00

time (sec)

N/A 0.016 0.024 0.055 2.807 0.393 0.151 0.522 0.163 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

34 34 33 32 34 53 31 36 34 0

N.S.

1 1.00 0.97 0.94 1.00 1.56 0.91 1.06 1.00 0.00

time (sec)

N/A 0.008 0.010 0.053 1.316 0.383 0.140 0.454 0.200 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

42 42 42 32 34 53 32 36 34 0

N.S.

1 1.00 1.00 0.76 0.81 1.26 0.76 0.86 0.81 0.00

time (sec)

N/A 0.009 0.013 0.049 1.347 0.382 0.151 0.318 0.080 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

71 71 70 68 0 334 265 67 119 0

N.S.

1 1.00 0.99 0.96 0.00 4.70 3.73 0.94 1.68 0.00

time (sec)

N/A 0.040 0.058 0.056 0.000 0.403 0.589 0.404 0.171 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

72 72 72 86 0 317 230 75 107 0

N.S.

1 1.00 1.00 1.19 0.00 4.40 3.19 1.04 1.49 0.00

time (sec)

N/A 0.036 0.044 0.048 0.000 0.423 0.548 0.514 0.320 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

69 69 78 84 97 171 218 90 100 0

N.S.

1 1.00 1.13 1.22 1.41 2.48 3.16 1.30 1.45 0.00

time (sec)

N/A 0.034 0.060 0.052 2.839 0.405 0.603 0.526 0.316 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 65 111 0 89 212 100 110 0

N.S.

1 1.00 1.05 1.79 0.00 1.44 3.42 1.61 1.77 0.00

time (sec)

N/A 0.157 0.096 0.573 0.000 0.418 0.982 0.570 0.253 0.002

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

33 58 34 31 55 63 56 56 38 0

N.S.

1 1.76 1.03 0.94 1.67 1.91 1.70 1.70 1.15 0.00

time (sec)

N/A 0.036 0.032 0.080 1.389 0.414 0.292 0.527 0.258 0.002

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

31 58 32 31 51 59 56 54 38 0

N.S.

1 1.87 1.03 1.00 1.65 1.90 1.81 1.74 1.23 0.00

time (sec)

N/A 0.029 0.029 0.049 1.322 0.421 0.282 0.546 0.135 0.002

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A C B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 19 33 27 15 165 27 27 0

N.S.

1 1.00 1.12 1.94 1.59 0.88 9.71 1.59 1.59 0.00

time (sec)

N/A 0.018 0.020 0.241 2.954 0.418 0.192 0.466 0.117 0.001

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B A A C A B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

23 23 56 39 33 21 70 33 42 0

N.S.

1 1.00 2.43 1.70 1.43 0.91 3.04 1.43 1.83 0.00

time (sec)

N/A 0.028 0.039 0.196 3.018 0.406 0.588 0.466 0.303 0.001

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

38 38 39 29 38 40 0 40 39 48

N.S.

1 1.00 1.03 0.76 1.00 1.05 0.00 1.05 1.03 1.26

time (sec)

N/A 0.011 0.016 0.055 3.042 0.383 0.000 0.468 0.080 0.073

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

30 30 30 25 38 53 0 24 23 49

N.S.

1 1.00 1.00 0.83 1.27 1.77 0.00 0.80 0.77 1.63

time (sec)

N/A 0.010 0.013 0.045 2.998 0.413 0.000 1.604 0.052 0.094

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 49 50 52 40 0 41 39 49

N.S.

1 1.00 1.00 1.02 1.06 0.82 0.00 0.84 0.80 1.00

time (sec)

N/A 0.010 0.015 0.053 2.869 0.382 0.000 0.429 0.210 0.107

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 46 35 46 58 0 53 48 59

N.S.

1 1.00 1.02 0.78 1.02 1.29 0.00 1.18 1.07 1.31

time (sec)

N/A 0.015 0.017 0.049 3.004 0.405 0.000 0.456 0.191 0.130

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 46 35 46 60 0 36 35 73

N.S.

1 1.00 1.02 0.78 1.02 1.33 0.00 0.80 0.78 1.62

time (sec)

N/A 0.016 0.017 0.046 2.972 0.392 0.000 0.470 0.052 0.252

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 55 50 58 58 0 54 48 59

N.S.

1 1.00 0.89 0.81 0.94 0.94 0.00 0.87 0.77 0.95

time (sec)

N/A 0.015 0.026 0.047 2.975 0.402 0.000 0.442 0.195 0.185

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 44 32 41 60 0 31 30 61

N.S.

1 1.00 1.02 0.74 0.95 1.40 0.00 0.72 0.70 1.42

time (sec)

N/A 0.012 0.019 0.045 3.083 0.408 0.000 0.401 0.150 0.135

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

59 59 53 50 58 58 0 54 48 66

N.S.

1 1.00 0.90 0.85 0.98 0.98 0.00 0.92 0.81 1.12

time (sec)

N/A 0.013 0.019 0.047 2.980 0.394 0.000 0.489 0.193 0.312

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A C C F F B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

59 59 54 46 46 84 0 0 36 65

N.S.

1 1.00 0.92 0.78 0.78 1.42 0.00 0.00 0.61 1.10

time (sec)

N/A 0.016 0.025 0.050 2.894 0.404 0.000 0.000 0.054 0.148

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 55 50 58 58 0 54 48 59

N.S.

1 1.00 0.89 0.81 0.94 0.94 0.00 0.87 0.77 0.95

time (sec)

N/A 0.013 0.025 0.046 3.003 0.405 0.000 0.445 0.221 0.185

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 40 32 41 60 0 31 30 61

N.S.

1 1.00 1.03 0.82 1.05 1.54 0.00 0.79 0.77 1.56

time (sec)

N/A 0.008 0.018 0.043 3.078 0.409 0.000 0.526 0.052 0.131

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

14 14 14 9 8 20 0 20 20 24

N.S.

1 1.00 1.00 0.64 0.57 1.43 0.00 1.43 1.43 1.71

time (sec)

N/A 0.007 0.005 0.044 2.948 0.403 0.000 0.631 0.199 0.087

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

10 10 14 7 8 33 0 6 6 25

N.S.

1 1.00 1.40 0.70 0.80 3.30 0.00 0.60 0.60 2.50

time (sec)

N/A 0.007 0.006 0.046 3.011 0.405 0.000 0.518 0.132 0.106

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 24 30 22 20 0 21 20 24

N.S.

1 1.00 0.96 1.20 0.88 0.80 0.00 0.84 0.80 0.96

time (sec)

N/A 0.006 0.005 0.045 2.991 0.408 0.000 0.575 0.218 0.080

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 18 15 16 38 0 33 26 33

N.S.

1 1.00 1.00 0.83 0.89 2.11 0.00 1.83 1.44 1.83

time (sec)

N/A 0.010 0.006 0.049 2.877 0.410 0.000 0.616 0.225 0.093

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

19 19 19 15 16 40 0 16 16 39

N.S.

1 1.00 1.00 0.79 0.84 2.11 0.00 0.84 0.84 2.05

time (sec)

N/A 0.010 0.006 0.046 2.927 0.404 0.000 0.818 0.137 0.135

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 28 30 28 38 0 34 26 33

N.S.

1 1.00 0.80 0.86 0.80 1.09 0.00 0.97 0.74 0.94

time (sec)

N/A 0.008 0.005 0.041 3.010 0.417 0.000 0.802 0.236 0.118

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 17 12 11 40 0 11 11 35

N.S.

1 1.00 1.00 0.71 0.65 2.35 0.00 0.65 0.65 2.06

time (sec)

N/A 0.007 0.006 0.046 2.997 0.407 0.000 0.658 0.170 0.116

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

32 32 26 30 28 37 0 34 26 33

N.S.

1 1.00 0.81 0.94 0.88 1.16 0.00 1.06 0.81 1.03

time (sec)

N/A 0.008 0.006 0.043 2.987 0.410 0.000 0.562 0.228 0.089

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A C C F F B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

33 33 28 26 16 65 0 0 17 38

N.S.

1 1.00 0.85 0.79 0.48 1.97 0.00 0.00 0.52 1.15

time (sec)

N/A 0.008 0.008 0.039 2.910 0.413 0.000 0.000 0.136 0.123

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 28 30 28 38 0 34 26 33

N.S.

1 1.00 0.80 0.86 0.80 1.09 0.00 0.97 0.74 0.94

time (sec)

N/A 0.008 0.006 0.043 2.927 0.405 0.000 0.731 0.226 0.114

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

13 13 13 12 11 40 0 11 11 35

N.S.

1 1.00 1.00 0.92 0.85 3.08 0.00 0.85 0.85 2.69

time (sec)

N/A 0.004 0.006 0.045 3.073 0.414 0.000 0.638 0.164 0.112

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

22 22 22 51 16 137 0 46 40 44

N.S.

1 1.00 1.00 2.32 0.73 6.23 0.00 2.09 1.82 2.00

time (sec)

N/A 0.013 0.026 0.076 1.402 0.438 0.000 0.754 0.423 0.263

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 23 44 19 141 0 53 46 128

N.S.

1 1.00 1.00 1.91 0.83 6.13 0.00 2.30 2.00 5.57

time (sec)

N/A 0.013 0.026 0.088 3.084 0.458 0.000 1.085 0.406 0.342

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 20 44 19 143 0 53 44 129

N.S.

1 1.00 1.00 2.20 0.95 7.15 0.00 2.65 2.20 6.45

time (sec)

N/A 0.011 0.025 0.079 2.890 0.475 0.000 0.817 0.400 0.331

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

19 19 19 24 26 38 0 17 15 29

N.S.

1 1.00 1.00 1.26 1.37 2.00 0.00 0.89 0.79 1.53

time (sec)

N/A 0.002 0.005 0.047 1.340 0.399 0.000 0.828 0.053 0.176

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 23 28 30 41 0 17 17 37

N.S.

1 1.00 1.00 1.22 1.30 1.78 0.00 0.74 0.74 1.61

time (sec)

N/A 0.003 0.006 0.046 1.236 0.397 0.000 0.774 0.057 0.197

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 23 26 30 29 0 29 19 33

N.S.

1 1.00 1.00 1.13 1.30 1.26 0.00 1.26 0.83 1.43

time (sec)

N/A 0.005 0.052 0.048 1.342 0.397 0.000 0.615 0.055 0.167

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 31 36 59 49 0 36 29 43

N.S.

1 1.00 0.72 0.84 1.37 1.14 0.00 0.84 0.67 1.00

time (sec)

N/A 0.007 0.009 0.044 1.411 0.426 0.000 0.777 0.035 0.279

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 17 17 16 19 20 16 32 0

N.S.

1 1.00 0.94 0.94 0.89 1.06 1.11 0.89 1.78 0.00

time (sec)

N/A 0.002 0.007 0.043 1.246 0.412 0.063 0.624 0.390 0.014

[next] [prev] [prev-tail] [front] [up]